public class Operador {

	
	private String nombre;
	private Predicado[] precondiciones;
	private Predicado[] borrar;
	private Predicado[] agregar;
	private String param_1;
	private String param_2;

	public Operador() {
		super();
	}

	public Operador(String nombre, Predicado[] precondiciones,
			Predicado[] borrar, Predicado[] agregar) {
		super();
		this.nombre = nombre;
		this.precondiciones = precondiciones;
		this.borrar = borrar;
		this.agregar = agregar;
	}

	public Predicado[] getPrecondiciones() {
		return precondiciones;
	}

	public void setPrecondiciones(Predicado[] precondiciones) {
		this.precondiciones = precondiciones;
	}

	public Predicado[] getBorrar() {
		return borrar;
	}

	public void setBorrar(Predicado[] borrar) {
		this.borrar = borrar;
	}

	public Predicado[] getAgregar() {
		return agregar;
	}

	public void setAgregar(Predicado[] agregar) {
		this.agregar = agregar;
	}

	public String getParam_1() {
		return param_1;
	}

	public void setParam_1(String param_1) {
		this.param_1 = param_1;
	}

	public String getParam_2() {
		return param_2;
	}

	public void setParam_2(String param_2) {
		this.param_2 = param_2;
	}

	public String getNombre() {
		return nombre;
	}

	public void setNombre(String nombre) {
		this.nombre = nombre;
	}

	@Override
	public String toString() {
		if (param_2 == null)
			return nombre + "(" + param_1 + ")";
		else
			return nombre + "(" + param_1 + "," + param_2 + ")";

	}

}
